Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

😡 Add Disprove Script #9

Merged
merged 30 commits into from
Oct 16, 2024
Merged

😡 Add Disprove Script #9

merged 30 commits into from
Oct 16, 2024

Conversation

ZamDimon
Copy link
Collaborator

@ZamDimon ZamDimon commented Oct 4, 2024

Objective

The first component of the BitVM2 protocol is the Disprove script. This pull request adds the corresponding functionality to our system.

Added

  • core package with the disprove script.
  • Full test coverage of the Disprove script.
  • Function to split the program into chunks and make a disprove script for each one.
  • Fuzzy script splitting

@ZamDimon ZamDimon added the feature New feature or request label Oct 4, 2024
@ZamDimon ZamDimon requested a review from Velnbur October 4, 2024 08:16
@ZamDimon ZamDimon self-assigned this Oct 4, 2024
ZamDimon and others added 20 commits October 4, 2024 11:18
> [!NOTE]
> This is a rebased version of #7.

# Objective

To test the splitting functionality, we import the SHA256 function
implementation from [BitVM](https://github.com/BitVM/BitVM) and check
the splitting algorithm.

## Added
- `SplitType`, allowing to specify how the chunk should be processed
(cut by the number of instructions or bytes).
- SHA256 demo.

---------

Co-authored-by: ZamDimon <[email protected]>
# Objective

Since `bitcoin-scriptexec` contains certain logic that has to be changed
for our needs, we fork it and add to our repository.
Since `bitcoin-scriptexec` contains certain logic that has to be changed
for our needs, we fork it and add to our repository.
@ZamDimon ZamDimon changed the title 😡 Add Assert Transaction 😡 Add Disprove Script Oct 16, 2024
@ZamDimon ZamDimon merged commit 584c860 into main Oct 16, 2024
4 checks passed
@ZamDimon ZamDimon deleted the feature/assert-tx branch October 16, 2024 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants